9a1c7fae1aa192dfe209d0258c912cce6631fa70,src/main/java/di/uniba/it/tri/shell/TriShell.java,TriShell,promptLoop,#,141
Before Change
String cmd = trimmed.toLowerCase();
if ("exit".equals(cmd) || "quit".equals(cmd)) {
break;
} else if (cmd.startsWith("help") || cmd.startsWith("?")) {
String[] split = cmd.split("\\s+");
if (split.length == 1) {
showHelp();
After Change
String cmd = trimmed.replaceAll("\\s+", " "); //remove not necessary whitespaces
if ("exit".equals(cmd) || "quit".equals(cmd)) {
break;
} else if (cmd.equals("help") || cmd.equals("?") || cmd.startsWith("help ") || cmd.startsWith("? ")) {
String[] split = cmd.split("\\s+");
if (split.length == 1) {
showHelp();